From: Jonas Dreßler <verdre@v0yd.nl>
Date: Mon, 22 Feb 2021 11:03:51 +0000 (+0100)
Subject: theme/dash: Tweak margins of the dash
X-Git-Tag: archive/raspbian/50.5-1+rpi1~1^2~616^2^2~190
X-Git-Url: https://dgit.raspbian.org/%22http://www.example.com/cgi/%22/%22http:/www.example.com/cgi/%22?a=commitdiff_plain;h=a27009f9269e2b7d883f09571f663139eebaaf11;p=gnome-shell.git

theme/dash: Tweak margins of the dash

The Dash currently has a horizontal margin and a top margin applied. The
horizontal margin isn't necessary since there already is a horizontal
padding applied, and the top margin is a bit large, since the
ControlsLayout enforces a spacing between the different containers
already, so slightly decrease the margin-top here.

Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/1702>
---

diff --git a/data/theme/gnome-shell-sass/widgets/_dash.scss b/data/theme/gnome-shell-sass/widgets/_dash.scss
index 1ebd8ecff..f497c060d 100644
--- a/data/theme/gnome-shell-sass/widgets/_dash.scss
+++ b/data/theme/gnome-shell-sass/widgets/_dash.scss
@@ -11,7 +11,7 @@ $dash_border_radius: $modal_radius * 1.5;
 
 #dash {
   @include fontsize($base_font_size - 2);
-  margin: $base_margin * 4 $base_margin * 2 0;
+  margin-top: $base_spacing * 2;
   padding: 0 $dash_padding;
 
   .placeholder {